MEHRANS. FALLAH - Amirkabir University of Technology

Supervised PhD Theses

#

Thesis title

By

Date

1

Runtime Verification for Hyperproperties in Reactive Systems

MORTEZA DAMANAFSHAN

2024 Jan

Supervised MSc Theses

#

Thesis title

By

Date

1

Enhancing Behavioral Annomaly Detection in Microservice-Based Systems

SOBHAN KIANI & AHMAD ABDOLLAHZADEHBARFOROUSH

2024 Dec

2

Reducing False Positives in Concolic Testing of Smart Contracts

MOHAMMAD ALI MOVAHED RAD

2024 Jul

3

Differential Privacy for mapreduce on adversarial cloud

HADI SEDAGHAT ZADEHGAN ESFAHANI

2024 Feb

4

Local Differential Privacy for Correlated Edge Information in Social Networks

VAJIHEH TARAHOMI

2022 Jul

5

Directed Fuzzing Based on Vulnerability Specification

AMIR ABAS KABIRI ZAMANI

2022 Feb

6

Concolic testing smart contract for detecting Vulnerabilities

MARYAM SADAT TABATABAEI

2021 Sep

7

Program Rewriting for Enforcing Probabilistic Privacy Policies in JavaScript Programs

MAHDIEH HEJAZI

2020 Sep

8

Verifying Secure Web Applications Using Aspect-Oriented Hierarchical Colored Petri Nets

ZEINAB BANAYAZDI

2019 Sep

9

Model-Based Security Testing of Real-time Systems Using Time Petri net

TANNAZ ZAMENI

2019 Feb

10

A Provably Secure Scheme for Data Deduplication in Cloud

FAEZEH NASRABADI

2019 Jan

11

Improving Multi-Execution-based Mechanisms for Enforcing Information Flow Policies

SEYED MOHAMMAD MEHDI AHMADPANAH

2017 Sep

12

Improving Haskell Programming Language to Enforce the Security Policies Expressed in the Decentralized Label Model

MUHAMMAD HUSSEIN NASROLLAHPOUR

2017 Jul

13

Monitoring Information Flow Security in Smartphones

KEYWAN KARIMI

2017 Feb

14

A mechanism to mitigate cooperative gray hole attacks in MANETs

NAHAL SHAHINI

2016 Jul

15

Dynamic Slicing to Verify Information-Flow Security in Concurrent Programs

MOHAMMAD GHORBANI

2016 Feb

16

Abstract Interpretation for the Verification of Information Flow Security in Languages with Function Calls

SIAMAK HATAMI

2016 Feb

17

Trust management in social networks using game theory

MANSOORE SOLTANI MARGANI

2015 Sep

18

Language-based verification of zero-knowledge proof in e-voting protocols

JAMILE KHALILI SHAHROOZ

2015 Feb

19

A type system for discretionary access control with capability revocation and changing ownership

MASOUD GHAFFARINIA

2014 Dec

20

A language- based approach to prevent data races

ALI GHANBARI

2014 Oct

21

Trust management in mobile ad hoc networks using game theory

SHABNAM SERAJI

2014 Oct

22

Compositional Security in a model language for Java using language-based techniques

KOOSHAN ABEDIAN

2014 Sep

23

A hybrid method for vulnerability analsis of web applications using static,dynamic,and run-time monitoring techniques

MEHDI AZVARY GAHROEI

2014 Sep

24

Enforcing flow-insensitive noninterference through program rewriting in a model language for java

ALIREZA SIADAT

2014 Feb

25

Automatic enforcement of user-defined security policies in object-orinted programming

SEYEDMAHDI FADAEE

2014 Feb

26

the modeling of learning in adversarial environments using dynamic games

ABBAS TEHRANI FAR

2013 Jul

27

static enforcement of quantified information flow security in middleweight java

GOHAR SHAKOURI GARE KANI

2013 Feb

28

static enforcement of noninterference in concurrent lambda-calculus

SOROOSH SARDARI

2013 Feb

29

state-space reduction in CTLx model checking by combining partial order reduction and bounded model checking

HASSAN ARFAEINIA

2012 Feb

30

enhancing reputation mechanisms using markov model for detecting application layer denial-of-service attacks

ARMIN IMANI

2012 Feb

31

a labeled transition semantics for probabilistic applied pi calculus

MITRA JOZ NAZEMIAN

2012 Feb

32

inlined control-flow integrity enfocement for java bytecode

MAHDIEH KARBALAIE HADI

2012 Feb

33

denotational semantics for access control in polymorphic dependency calculi

SEPEHR AMIR-MOHAMMADIAN

2011 Oct

34

improving access control in pervasive environment using semantic approaches

ZAHRA ESLAMI

2011 Jun

35

an extention of XCAP for verifying the assembly codes containing I/O

ZOHREH HAMIDI

2011 Jun

36

a type system for lambda -calculus for static verification of security policies

ARASH AFSHAR

2011 Feb

37

Proposing an Extension of the ?-Calculus for Modeling and Verification of Cryptographic Protocols

ALI LAHIJANI

2010 Sep

38

Improving Reputation Systems for Trust Management in MANETs Using game theory

MARYAM MOUZERANI

2010 Jul

39

mechanism design for prevention of malicious and selfish nodes collusion in routing and packet forwarding in mobile ad hoc networks using game theory

SAEEDEH ALIMOHAMMADI

2010 Jul

40

Improvement of cooperation stimulating mechanisms in MANET using game theory

EBRAHIM KHALILZADEH

2009 Jul

41

puzzle-based defense against bandwidth attacks using game theory

MAZDAK ALI MADADI

2009 Jul

42

a reactive defense against bandwidth attacks utilizing learning techniques in distributed packet filtering

NAFISEH KAHANI

2009 Jul

43

A CALCULUS FOR TRUST MANAGEMENT IN SEMANTIC WEB

AZADEH NEMATZADEH CHEKUVAR

2008 Apr

44

MODELING AND IMPROVING PUBLIC KEY CERTIFICATE REVOCATION SCHEMES IN MOBILE AD-HOC NETWORKS

AFSHIN LAMEI

2008 Jan

45

ENFORCING COPPERATION AMONG NODES AND IMPROVING SERVICE AVAILABILITY IN MANETS USING GAME THEORY

AZADEH OMRANI

2007 Apr

46

COMPARISON OF THE INTEGRATION OF DIFFERENT IP TRACEBACK MECHANISMS INTO THE FILTERING MECHANISM TO DEFEAT DOS ATTACKS

KOBRA KHANMOHAMMADI

2007 Mar

47

A locally differentially private mechanism for k-triangle counting in social networks

MOHAMMADJAVAD MOHAMMADPOUR

2026 Jun

48

Improving the utility of differentially private local mechanisms for processing social networks

AZARDOKHT TAYARANIRAD

2025 Sep

49

Improving the utility of locally differentially-private recommender systems based on collaborative filtering

REYHANEH HASSANRAHIMI

2025 Sep

50

Detecting Illegal Transactions on Blockchain Using Machine Learning

ALI LAGHARY FIROZJAEI

2025 Sep

51

A Decentralized Recommender System Using Smart Contracts

ALI ZAL

2025 Mar

52

Creating a framework for an Internet of Things System in the Defined Ecosystem to Improve Quality

ZAHRA TAVASOLIZANEYANE & AHMAD ABDOLLAHZADEHBARFOROUSH

2025 Apr

Journal Papers

1

Edalat Ehsan ، FALLAH MEHRANS., "Differential privacy with semantic neighboring: a notion of privacy for personalization services", Computer Journal, 2026 May vol. , no. 69, pp.1-26, 2026.

2

DAMANAFSHAN MORTEZA ، FALLAH MEHRANS., "Monitorable Hyperproperties of Nonterminating Systems", Journal of Logical and Algebraic Methods In Programming, 2022 Jul vol. 128, no. 1, pp.1-33, 2022.

3

AHMADI SHARAR ، FALLAH MEHRANS. ، POURMAHDIAN MASOUD, "On the Properties of Epistemic and Temporal Epistemic Logics of Authentication", Informatica, 2019 Nov vol. 43, no. 0, pp.161-175, 2019.

4

ZOLFAGHARI BEHROUZ ، SEDIGHI MEHDI ، FALLAH MEHRANS., "Designing programmable parallel LFSR using parallel prefix trees", Journal of Engineering Research, 2019 Oct vol. 7, no. 3, pp.105-122, 2019.

5

IMANIMEHR FATEMEH ، FALLAH MEHRANS., "On transparent value-sensitive run-time monitoring for information flow policies", Computer Languages Systems and Structures, 2018 Dec vol. 54, no. 1, pp.273-296, 2018.

6

AHMADI SHARAR ، FALLAH MEHRANS., "An omniscience-free temporal logic of knowledge for verifying authentication protocols", Bulletin of The Iranian Mathematical Society, 2017 Nov vol. 44, no. 1, pp.1-23, 2017.

7

IRANMANESH ZEINAB ، FALLAH MEHRANS., "Static Checking for Multiple Start of Threads in a Type-Safe Multithreaded Java", Journal of Object Technology, 2017 Jun vol. 16, no. 3, pp.1-31, 2017.

8

ZOLFAGHARI BEHROUZ ، FALLAH MEHRANS. ، SEDIGHI MEHDI, "S-Restricted Compositions revisited", Discrete Mathematics and Theoretical Computer Science, 2017 Apr vol. 19, no. 1, pp.1-19, 2017.

9

SERAJI SHABNAM ، FALLAH MEHRANS., "A Bayesian Game of Whitewashing in Reputation Systems", Computer Journal, 2017 Apr vol. 0, no. 0, pp.1-15, 2017.

10

LAMEI AFSHIN ، FALLAH MEHRANS., "Rewriting-Based Enforcement of Noninterference in Programs with Observable Intermediate Values", Journal of Universal Computer Science, 2016 Aug vol. 22, no. 7, pp.956-991, 2016.

11

IRANMANESH ZEINAB ، FALLAH MEHRANS., "Specification and Static Enforcement of Scheduler-Independent Noninterference in a Middleweight Java", Computer Languages Systems and Structures, 2016 May vol. 46, no. 2, pp.1-24, 2016.

12

IMANIMEHR FATEMEH ، FALLAH MEHRANS., "How Powerful Are Run-time Monitors with Static Information?", Computer Journal, 2016 Apr vol. 0, no. 0, pp.1-14, 2016.

13

SATARZADEH BEHNAM ، FALLAH MEHRANS., "Automated Type-Based Analysis of Injective Agreement in the Presence of Compromised Principals", Journal of Logic and Algebraic Programming, 2015 Jun vol. 84, no. 1, pp.1-35, 2015.

14

NOORPLLAHI RAVARI ALI ، FALLAH MEHRANS., "A Nonmonotonic Modal Authorization Logic for Pervasive Computing", Security and Communication Networks, 2014 Jun vol. 7, no. 7, pp.1-15, 2014.

15

SATARZADEH BEHNAM ، FALLAH MEHRANS., "Typing secure implementation of authentication protocols in environments with compromised principals", Security and Communication Networks, 2013 Sep vol. 6, no. 1, pp.1-16, 2013.

16

AMIR-MOHAMMADIAN SEPEHR ، FALLAH MEHRANS., "Noninterference in a predicative polymorphic calculus for access control", Computer Languages Systems and Structures, 2013 Jun vol. 39, no. 4, pp.1-15, 2013.

17

FALLAH MEHRANS. ، KAHANI NAFISEH, "TDPF: A Traceback-based Distributed Packet Filter to Mitigate DDoS Attacks", Security and Communication Networks, 2013 Jan vol. 7, no. 1, pp.1-20, 2013.

18

FALLAH MEHRANS. ، MOUZERANI MARYAM, "A Game?Based Sybil?Resistant Strategy for Reputation Systems in Self?Organizing MANETs", Computer Journal, 2011 Mar vol. 0, no. 0, , 2011.

19

FALLAH MEHRANS., "A Puzzle -Based Defense Strategy AGainst Flooding Attacks Using Game Theory", Ieee Transactions On Dependable and Secure Computing, 2009 Sep vol. , no. , , 2009.

20

JANZADEH HAMED ، FAYAZBAKHSH SEYED KAVEH ، DEHGHAN TAKHT FOOLADI MEHDI ، FALLAH MEHRANS., "A secure credit-based cooperation stimulating mechanism for MANETs using hash chains", , 2009 Sep vol. , no. 25, , 2009.

21

OMRANI AZADEH ، FALLAH MEHRANS., "A Game -Theoretic Cooperation Stimulus Routing Protocol in Manets", , 2008 Feb vol. , no. 19, , 2008.

22

FALLAH MEHRANS. ،, "Service Availability in Concurrent Systems-Part II:Analysis and Case Studies Using HSIP", Computer Journal, 2007 Sep vol. , no. 5, , 2007.

23

FALLAH MEHRANS. ،, "Service Availability in Concurrent Systems-Part I:A Theory of Hierarchical Services of Interacting Processes", Computer Journal, 2007 Sep vol. , no. 5, , 2007.

24

، FALLAH MEHRANS., "A framework for the analysis of denial of service attacks", Computer Journal, 2004 Mar vol. , no. 2, , 2004.

Conference Papers

1

Nafiseh Kahani ، FALLAH MEHRANS., "A Reactive Defense Against Bandwidth Attacks Using Learning Automata,", International Conference on Availability, Reliability and Security, Aug 2018.

2

GHORBANI MOHAMMAD ، FALLAH MEHRANS., "Run-time Verification for Observational Determinism Using Dynamic Program Slicing,", Information Security Conference(ISC 2017), Nov 2017.

3

SHAKOURI GARE KANI GOHAR ، FALLAH MEHRANS. ، IRANMANESH ZEINAB, "A Type System for Quantified Information-Flow Security in Java-Like Languages,", International Workshop on Software Assurance-International Conference on Availability, Reliability and Security, Aug 2016.

4

AFSHAR ARASH ، FALLAH MEHRANS., "Reconstructing Security Types for Automated Policy Enforcement in FABLE,", The 5th International Conference on Network and System Security, Sep 2011.

5

ALI MADADI MAZDAK ، FALLAH MEHRANS., "A Distributed Client-Puzzle Mechanism to Mitigate Bandwidth Attacks,", 5th International Conference on Network and System Security-NSS 2011, Sep 2011.

6

SATARZADEH BEHNAM ، FALLAH MEHRANS., "Is Cryptyc Able to Detect Insider Attacks?,", 8th International Workshop on Formal Aspects of Security and Trust-FAST 2011, Sep 2011.

7

AFSHAR ARASH ، FALLAH MEHRANS., "Reconstructing Security Types for Automated Policy Enforcement in FABLE,", 5th International Conference on Network and System Security-NSS 2011, Sep 2011.

8

NOORPLLAHI RAVARI ALI ، FALLAH MEHRANS., "A Logical View of Nonmonotonicity in Access Control,", International Conference on Security and Cryptography-Secrypt 2011, Jul 2011.

9

، FALLAH MEHRANS., "HWSC An automatic web services composer,", Jun 2009.

10

OMRANI AZADEH ، FALLAH MEHRANS., "Stimulating cooperation in MANETs using game theory,", Jul 2007.

11

KHANMOHAMMADI KOBRA ، FALLAH MEHRANS., "Distributed packet filtering based on IP traceback,", Dec 2006.

Taught Courses

#

Course title

Description

Headlines

Date

1

Design of Programming Languages

4051

2

Computer Networks Lab

4051

3

Logic Design Lab

4051

4

Logic Design Lab

4051

5

Logic Design Lab

4051

6

Logic Design Lab

4051

7

Logic Design Lab

4051

8

Logic Design Lab

4051

9

Logic Design Lab

4051

10

Microprocessor and Assembly Language Lab.

4051

11

Discrete Mathematics

آشنا نمودن دانشجویان با ساختمانهای ریاضی و کاربرد آنها در مهندسی و علوم کامپیوتر

4042

12

Program Specification and Verification

این درس دانشجویان را با فنون و مهارتهایی از تحلیل برنامه آشنا می سازد که به طور گسترده به منظور بهبود بهره وری، اتکاپذیری، و امنیت در ابزا�

4042

13

Programming Languages

4041

14

(Algorithmic Game Theory)

4041

15

Discrete Mathematics

4032

16

Discrete Mathematics

4032

17

Discrete Mathematics TA

4032

18

Discrete Mathematics TA

4032